symbolic logic

noun

1. a modern development of formal logic employing a special notation or symbolism capable of manipulation in accordance with precise rules.

symbolic logic

noun

1. another term for formal logic

Word History and Origins

Origin of symbolic logic¹

First recorded in 1880–85

Example Sentences

He argued that the structural rigidity and rule-based grammar of Sanskrit offered a powerful natural analog to the symbolic logic of computer languages.

From Salon

Wilkes happened to have some intellectual preparation: As a philosophy major, she had studied symbolic logic, which can involve creating arguments and inferences by stringing together and/or statements in a way that resembles coding.

From New York Times

“You talk about biology in a symbolic logic class?” my father asked.

From Literature

This perspective is usually called “symbolic A.I.” — because its definition of cognition is based on symbolic logic — or, disparagingly, “good old-fashioned A.I.”

From New York Times

“For Claude Shannon” is named after the mathematical engineer who connected symbolic logic with electronic circuits.

From New York Times